در این مقاله پس از اشاره به اهمیت متصلۀ لزومیه و جایگاه آن در منطق قدیم، شروط صدق متصلۀ لزومیه در منطق سینوی و احکام آن و نیز دیدگاه های مختلف در مورد نسبت این متصله با انواع شرطی در منطق جدید بررسی، تحلیل و نقد می گردد. این دیدگاه ها به ترتیب تاریخی در رویکردهای زیر خلاصه می شود: رویکرد اول: متصلۀ لزومیه به دلیل علاقۀ خاص بین مقدم و تالی غیر از استلزام مادی و به دلیل اختلاف دیدگاه منطق قدیم و ...

در این مقاله پس از اشاره به اهمیت متصلۀ لزومیه و جایگاه آن در منطق قدیم، شروط صدق متصلۀ لزومیه در منطق سینوی و احکام آن و نیز دیدگاه‌های مختلف در مورد نسبت این متصله با انواع شرطی در منطق جدید بررسی، تحلیل و نقد می گردد. این دیدگاه‌ها به ترتیب تاریخی در رویکردهای زیر خلاصه می‌شود: رویکرد اول: متصلۀ لزومیه به دلیل علاقۀ خاص بین مقدم و تالی غیر از استلزام مادی و به دلیل اختلاف دیدگاه منطق قدیم و ...

از جمله موضوعات بحث شده در علوم قرآن و تفسیر، موضوع آیات متشابه لفظی یا به ظاهر تکراری قرآن است. این موضوع که چرا در قرآن برخی از آیات بدون هیچ گونه تفاوت و گاه با تغییری اندک دو یا چند بار تکرار شده، توجه ادیبان و مفسران مسلمان را به خود جلب کرده و سبب پدید آمدن آثاری ارزشمند در این موضوع گردیده است. عمده تلاش های انجام گرفته در این موضوع، محوریتی بلاغی و زیباشناختی دارند و براین اساس جنبه های...

پژوهش حاضر درصدد بررسی امکان ارایة برگردان صوری برای روابط مفهومی در سطح جمله است و این مهم را با به‏کارگیری منطق ریاضی به ویژه منطق محمول‏ها در محدودة نمونه‏های کارآمد برای زبان فارسی انجام می‏دهد. به این ترتیب که ابتدا روابط مفهومی در سطح جمله که شامل «استلزام معنایی»، «تضاد معنایی»، «استنتاج» و «پیش‏انگاری» است، معرفی می‏شود و سپس، به‌وسیلۀ ابزارهای صوری منطق‏دانان و به ویژه منطق محمول‏ها بر...

به­گویی ابزار گفتمانی قدرتمندی است که برای تقویت­ و افزایش نزاکت اجتماعی و حفظ خود­ انگارة اجتماعی طرفین گفت و گو به کار می رود و سازگاری روابط بین­فردی را آسان می­کند. بیشتر واژه­های به­گویانه در زبان فارسی در حوزة مسائل مربوط به مرگ، مسائل جنسی، مواد زاید بدن، تبلیغات، ناتوانایی­های جسمی، اعضای بدن، بیماری­های روانی، مواد مخدر، ناسزاها و تجارت به کار می­روند. هدف پژوهش حاضر بررسی شیوه­های ساخ...

این پایان نامه در چهار فصل تدوین شده است. در فصل اول تعاریف و قضایای مقدماتی از استلزام فازی، نقیض فازی، k-عملگرها و خواص آنها را آورده ایم که در بحث های بعدی به دفعات مورد استفاده قرار می گیرند. در فصل دوم d-استلزام فازی بازه ای-مقدار را بررسی می کنیم ودر فصل سوم استلزام های فازی بازه ای-مقدار تولید شده از k-عملگرها و استلزام های فازی را مورد مطالعه قرار می دهیم. در فصل چهارم روابط بین اصول اس...

هدف ازاین پایان نامه ، بررسی ابر ‏‎bck‎‏-ایده آلهای آنها و بالاخص ابر ‏‎bck‎‏-ایده آلهای استلزامی مثبت می باشد. در پایان بعضی ساختارهای فازی روی آنها نیز بررسی خواهد شد.

در فصل اول این پایان نامه به تعریف انواع جبرهای استلزامی و فیلترهای آنها پرداخته و سپس قضایای نمایش را در مورد آنها بررسی می کنیم. در فصل دوم ‏‎s‎‏ و ‏‎r‎‏ و ‏‎-ql‎‏ استلزام را تعریف کرده و پس از تعریف انواع استلزام قضایایی را در مورد آنها می آوریم . در فصل سوم ابتدا لیستی از عملگرهای استلزام شناخته شده را ارائه و سپس نوع جبر و بعد از آن خواص ذکر شده در فصل اول و دوم را در مورد آنها بررسی می کن...

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می آید، معادل ترکیب های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می باشد. این ترکیب اساسی ترین مفهوم منطق جدید محسوب می شود و در استدلال های پیچیدۀ ریاضی نتایج رضایت بخشی داده است. آگاهی یا عدم آگاهی منطق دانان قدیم از شروط صدق این ترکیب سئوا...

ترکیب تابع ارزشی p  با ماتریس [1011] که از آن در منطق جدید به استلزام مادّی تعبیر می‌شود و کذب مقدّم یا صدق تالی شرط لازم و کافی صدق آن به شمار می‌آید، معادل ترکیب‌های تابع ارزشی  و  در منطق جدید است که دارای همان ماتریس می‌باشد. این ترکیب اساسی‌ترین مفهوم منطق جدید محسوب می‌شود و در استدلال‌های پیچیدۀ ریاضی نتایج رضایت‌بخشی داده است. آگاهی یا عدم آگاهی منطق‌دانان قدیم از شروط صدق این ترکیب سئوا...